想象一下建造一座摩天大楼。你不能从顶层开始；你需要一个深达地幔的地基。在数学中，这个基础就是 数学体系。它是一个正式的语言结构，旨在确定真理而不陷入循环推理的陷阱。它是‘逻辑金字塔’，每一块石头都由其下方的石头支撑。
数学真理的层级结构
一个数学体系由四个主要的垂直层级构成，每个层级都有其独特的结构作用：
1. 基础层：未定义项与公理
为了避免无限回溯（用一个词定义另一个词，而后者又需要另一个定义），我们接受某些 未定义项 作为基本概念（例如“点”或“集合”）。我们还接受 公理：无需证明就假设为真的陈述。
示例： 在欧几里得几何中，我们接受这样的公理：任意两点之间可以画出一条直线段。
2. 框架层：定义
定义 是使用公理和未定义项来描述新概念的公认说法。一个数学体系明确地被定义为“一组公理、定义和未定义项”。
3. 桥梁层：证明
一个 证明 是将公理和定义串联起来以验证定理的正式论证。它是将猜想转化为已确立事实的逻辑机制。
4. 冠冕层：定理、引理与推论
- 定理： 一个已被证明为真的重要命题（例如，“如果三角形有两边相等，则它们所对的角也相等”）。
- 引理： 战术性的“垫脚石”——本身并不有趣，但对证明更大的结果至关重要。
- 推论： “唾手可得的果实”——能轻易且直接从另一个定理得出的定理。
示例：等腰三角形的结构
在欧几里得几何体系中：
- 定理： 如果一个三角形有两边相等，则它们所对的角也相等。
- 推论： 如果一个三角形是等边的，则它也是等角的。（这几乎不需要额外努力，就可以从上面的定理推出）。
- 高级应用： 在四边形系统中，我们可以证明：“如果一个四边形的对角线互相平分，则该四边形是平行四边形。”
🎯 核心原则
数学体系的设计目标是消除歧义。通过建立从 未定义项 到 推论的严格层级结构，确保每一个“真理”都能追溯到其不可动摇的基础，而不会出现循环。